SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
نویسندگان
چکیده
Abstract In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. particular, study self-referential numberings, immediately provide a strong notion of even for expressively weak languages. The results suggest that question whether truly reasoning arithmetic is more sensitive to underlying coding apparatus than usually believed. As case study, show how sensitivity affects formal certain principles truth.
منابع مشابه
Gödel Machines: Fully Self-referential Optimal Universal Self-improvers
We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimally efficient problem solvers. Inspired by Kurt Gödel’s celebrated self-referential formulas (1931), such a problem solver rewrites any part of its own code as soon as it has found a proof that the rewrite is useful, where the problem-dependent utility function and the hardware and the ...
متن کاملa comparative study of the relationship between self-, peer-, and teacher-assessments in productive skills
تمایل به ارزیابی جایگزین و تعویض آن با آزمون سنتی مداد و کاغذ در سالهای اخیر افزایش یافته است. اکثر زبان آموزان در کلاس های زبان از نمره نهایی که استاد تعیین میکند ناراضی اند. این تحقیق جهت بررسی ارزیابی در کلاس های زبان انگلیسی به هدف رضایتمندی زبان آموزان از نمره هایشان انجام گرفته است که در آن نمرات ارائه شده توسط سه گروه ارزیاب (ارزیابی خود دانشجو، همسالان واستاد) در مهارت های تولید (تکل...
15 صفحه اولGödel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
متن کامل
Self-Referential Definition of Orthogonality
There has for longer been an interest in finding equivalent conditions which define inner product spaces, and the respective literature is considerable, see for instance Amir, which lists 350 such results. Here, in this tradition, an alternative definition of orthogonality is presented which does not make use of any inner product. This definition, in the spirit of the recently developed non-wel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Review of Symbolic Logic
سال: 2021
ISSN: ['1755-0211', '1755-0203']
DOI: https://doi.org/10.1017/s1755020321000393